Specification-based prototyping for embedded systems

Speciication-based Prototyping for Embedded Systems ?

Speciication of software for safety critical, embedded computer systems has been widely addressed in literature. To achieve the high level of conndence in a speciication's correctness necessary in many applications, manual inspections, formal veriication, and simulation must be used in concert. Researchers have successfully addressed issues in inspection and veriication; however, results in the...

PROTOTYPING EMBEDDED DSP SYSTEMS − FROM SPECIFICATION TO IMPLEMENTATION (ThuPmOR3)

When embedding DSP systems, a designer must meet not only functional but also many other requirements, such as low resource requirements, real−time constraints and low power consumption. The design flow used in prototyping such systems usually includes high−level languages for specification capture and then involves a number of tradi−tional steps until the system is synthesized. Those steps oft...

1 Specification Based Prototyping of Control Systems

The capability to dynamically analyze, or execute, the description of a software system early in a project has many advantages; it helps the analyst to evaluate and address poorly understood aspects of the system behavior, improves communication between the different parties involved in specification effort, allows empirical evaluation of alternative solutions, and is one of the more feasible w...

Prototyping Networked Embedded Systems

Resource Specification for Prototyping Human-Intensive Systems

Today’s software systems rely heavily on complex resources, such as humans. Human-intensive systems are particularly important in our society, especially in the healthcare, financial, and software development domains. One challenge in developing such systems is that the system design must account for the constraints, capabilities, and allocation policies of their complex resources, particularly...